3

Translating Stochastic CLS into Maude

Année:
2009
Langue:
english
Fichier:
PDF, 521 KB
english, 2009
9

Model mining

Année:
2017
Langue:
english
Fichier:
PDF, 2.90 MB
english, 2017
20

Preface

Année:
2006
Langue:
english
Fichier:
PDF, 83 KB
english, 2006
21

Preface

Année:
2007
Langue:
english
Fichier:
PDF, 105 KB
english, 2007
23

Preface

Année:
2005
Langue:
english
Fichier:
PDF, 45 KB
english, 2005
24

Time-based expressivity of time Petri nets for system specification

Année:
1999
Langue:
english
Fichier:
PDF, 3.47 MB
english, 1999
26

Axiomatisation of an Interval Calculus for Theorem Proving

Année:
2001
Langue:
english
Fichier:
PDF, 245 KB
english, 2001
27

Guest Editorial

Année:
2008
Langue:
english
Fichier:
PDF, 61 KB
english, 2008
28

Editorial

Année:
2009
Langue:
english
Fichier:
PDF, 46 KB
english, 2009
31

Comorbidities of migraine: a user-friendly overview

Année:
2003
Langue:
english
Fichier:
PDF, 36 KB
english, 2003
34

Property verification of asynchronous systems

Année:
2005
Langue:
english
Fichier:
PDF, 355 KB
english, 2005
35

Formal methods for interactive systems

Année:
2008
Langue:
english
Fichier:
PDF, 71 KB
english, 2008
36

Preface

Année:
2005
Langue:
english
Fichier:
PDF, 84 KB
english, 2005
37

Model-checking Driven Design of Interactive Systems

Année:
2007
Langue:
english
Fichier:
PDF, 341 KB
english, 2007
38

Preface

Année:
2008
Langue:
english
Fichier:
PDF, 102 KB
english, 2008
41

Epidemiology of stroke in Italy

Année:
2011
Langue:
english
Fichier:
PDF, 285 KB
english, 2011
45

Enhancing ontology-based antipattern detection using Bayesian networks

Année:
2012
Langue:
english
Fichier:
PDF, 1.30 MB
english, 2012